[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 174 135 0 321 63 152 250

N.S.

1 1.00 1.01 0.78 0.00 1.87 0.37 0.88 1.45

time (sec)

N/A 0.061 0.157 0.046 0.000 0.373 0.813 3.541 1.339

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 166 135 0 335 63 152 268

N.S.

1 1.00 0.91 0.74 0.00 1.84 0.35 0.84 1.47

time (sec)

N/A 0.085 0.159 0.051 0.000 0.370 0.767 3.420 0.204

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 189 148 0 292 73 159 257

N.S.

1 1.00 1.09 0.86 0.00 1.69 0.42 0.92 1.49

time (sec)

N/A 0.098 0.162 0.059 0.000 0.378 0.748 3.956 1.487

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 189 148 0 324 70 159 291

N.S.

1 1.00 1.00 0.78 0.00 1.71 0.37 0.84 1.54

time (sec)

N/A 0.116 0.168 0.060 0.000 0.353 0.860 4.036 0.210

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 15 17 16

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.81 0.76

time (sec)

N/A 0.008 0.004 0.018 0.292 0.329 0.036 3.927 0.063

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 23 22 22 19 22 22

N.S.

1 1.00 1.00 0.88 0.85 0.85 0.73 0.85 0.85

time (sec)

N/A 0.012 0.004 0.019 0.285 0.361 0.044 3.944 1.315

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 31 30 30 37 30 32

N.S.

1 1.00 1.00 0.84 0.81 0.81 1.00 0.81 0.86

time (sec)

N/A 0.022 0.009 0.023 0.507 0.341 0.051 4.906 1.346

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 19 18 18 27 18 20

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.17 0.78 0.87

time (sec)

N/A 0.015 0.005 0.016 0.498 0.348 0.063 5.206 1.333

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 197 131 36 32 41 33 34

N.S.

1 1.00 5.05 3.36 0.92 0.82 1.05 0.85 0.87

time (sec)

N/A 0.024 0.025 0.034 0.533 0.344 0.063 6.491 0.060

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 208 138 41 49 48 45 41

N.S.

1 1.00 4.33 2.88 0.85 1.02 1.00 0.94 0.85

time (sec)

N/A 0.033 0.028 0.042 0.515 0.364 0.080 3.317 1.369

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 197 131 0 32 41 33 34

N.S.

1 1.00 5.05 3.36 0.00 0.82 1.05 0.85 0.87

time (sec)

N/A 0.025 0.014 0.031 0.000 0.352 0.080 3.651 0.033

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 140 164 0 466 605 145 183

N.S.

1 1.00 0.95 1.12 0.00 3.17 4.12 0.99 1.24

time (sec)

N/A 0.095 0.082 0.056 0.000 0.359 0.701 3.969 0.159

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 112 128 0 383 498 113 151

N.S.

1 1.00 0.95 1.08 0.00 3.25 4.22 0.96 1.28

time (sec)

N/A 0.072 0.056 0.049 0.000 0.374 0.653 3.354 1.396

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 84 98 0 297 381 86 112

N.S.

1 1.00 0.94 1.10 0.00 3.34 4.28 0.97 1.26

time (sec)

N/A 0.060 0.068 0.036 0.000 0.356 0.453 3.562 0.131

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 73 75 0 235 306 67 172

N.S.

1 1.00 1.04 1.07 0.00 3.36 4.37 0.96 2.46

time (sec)

N/A 0.036 0.042 0.027 0.000 0.354 0.316 3.735 1.418

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 57 56 0 185 216 55 112

N.S.

1 1.00 1.02 1.00 0.00 3.30 3.86 0.98 2.00

time (sec)

N/A 0.023 0.021 0.022 0.000 0.336 0.157 3.830 0.168

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 38 35 0 120 124 34 46

N.S.

1 1.00 1.06 0.97 0.00 3.33 3.44 0.94 1.28

time (sec)

N/A 0.023 0.005 0.019 0.000 0.335 0.094 4.101 0.046

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 61 61 0 211 564 62 213

N.S.

1 1.00 0.98 0.98 0.00 3.40 9.10 1.00 3.44

time (sec)

N/A 0.032 0.044 0.033 0.000 0.351 4.605 4.111 1.715

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 77 81 0 269 0 79 339

N.S.

1 1.00 0.95 1.00 0.00 3.32 0.00 0.98 4.19

time (sec)

N/A 0.070 0.053 0.042 0.000 0.408 0.000 4.147 1.814

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 102 128 0 358 0 105 447

N.S.

1 1.00 0.98 1.23 0.00 3.44 0.00 1.01 4.30

time (sec)

N/A 0.100 0.090 0.056 0.000 0.429 0.000 3.397 1.866

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 131 157 0 445 0 136 524

N.S.

1 1.00 0.96 1.15 0.00 3.25 0.00 0.99 3.82

time (sec)

N/A 0.134 0.067 0.059 0.000 0.390 0.000 3.586 1.923

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 163 238 0 1029 1012 188 382

N.S.

1 1.00 0.83 1.21 0.00 5.25 5.16 0.96 1.95

time (sec)

N/A 0.147 0.146 0.064 0.000 0.350 1.484 3.275 1.822

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 132 198 0 837 842 161 261

N.S.

1 1.00 0.88 1.32 0.00 5.58 5.61 1.07 1.74

time (sec)

N/A 0.105 0.117 0.059 0.000 0.396 1.009 2.893 1.798

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 109 169 0 635 729 125 279

N.S.

1 1.00 0.96 1.48 0.00 5.57 6.39 1.10 2.45

time (sec)

N/A 0.068 0.095 0.046 0.000 0.342 0.758 2.783 1.859

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 81 97 0 387 280 88 135

N.S.

1 1.00 1.14 1.37 0.00 5.45 3.94 1.24 1.90

time (sec)

N/A 0.030 0.059 0.035 0.000 0.367 0.351 2.926 1.370

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 69 70 0 338 253 76 110

N.S.

1 1.00 1.05 1.06 0.00 5.12 3.83 1.15 1.67

time (sec)

N/A 0.023 0.043 0.031 0.000 0.346 0.292 3.427 1.369

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 70 68 0 341 265 76 119

N.S.

1 1.00 1.06 1.03 0.00 5.17 4.02 1.15 1.80

time (sec)

N/A 0.021 0.051 0.029 0.000 0.371 0.308 6.501 0.083

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 107 177 0 781 0 126 620

N.S.

1 1.00 0.99 1.64 0.00 7.23 0.00 1.17 5.74

time (sec)

N/A 0.097 0.123 0.059 0.000 0.443 0.000 5.708 2.096

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 131 205 0 975 0 171 775

N.S.

1 1.00 0.89 1.39 0.00 6.59 0.00 1.16 5.24

time (sec)

N/A 0.130 0.179 0.059 0.000 0.483 0.000 5.748 2.134

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 175 255 0 1226 0 229 914

N.S.

1 1.00 0.87 1.26 0.00 6.07 0.00 1.13 4.52

time (sec)

N/A 0.169 0.229 0.060 0.000 0.532 0.000 7.054 2.298

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 260 401 0 1926 1714 282 705

N.S.

1 1.00 1.09 1.68 0.00 8.09 7.20 1.18 2.96

time (sec)

N/A 0.202 0.242 0.081 0.000 0.385 3.125 5.905 2.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 221 357 0 1603 1510 245 620

N.S.

1 1.00 1.16 1.88 0.00 8.44 7.95 1.29 3.26

time (sec)

N/A 0.181 0.201 0.068 0.000 0.386 2.044 5.389 2.203

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 174 260 0 953 547 202 343

N.S.

1 1.00 1.57 2.34 0.00 8.59 4.93 1.82 3.09

time (sec)

N/A 0.046 0.115 0.054 0.000 0.370 0.801 3.682 0.195

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 126 223 0 872 513 163 271

N.S.

1 1.00 1.18 2.08 0.00 8.15 4.79 1.52 2.53

time (sec)

N/A 0.035 0.130 0.044 0.000 0.386 0.663 3.355 1.429

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 131 210 0 887 570 154 313

N.S.

1 1.00 1.14 1.83 0.00 7.71 4.96 1.34 2.72

time (sec)

N/A 0.045 0.091 0.049 0.000 0.367 0.739 3.235 1.500

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 102 118 0 788 481 135 253

N.S.

1 1.00 0.99 1.15 0.00 7.65 4.67 1.31 2.46

time (sec)

N/A 0.029 0.064 0.049 0.000 0.352 0.623 4.048 1.430

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 101 97 116 0 785 474 136 285

N.S.

1 0.98 0.94 1.13 0.00 7.62 4.60 1.32 2.77

time (sec)

N/A 0.029 0.064 0.046 0.000 0.371 0.722 3.317 1.424

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 178 352 0 1985 0 239 1089

N.S.

1 1.00 0.96 1.90 0.00 10.73 0.00 1.29 5.89

time (sec)

N/A 0.157 0.229 0.061 0.000 0.610 0.000 2.939 2.456

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 221 404 0 2280 0 309 1255

N.S.

1 1.00 0.92 1.69 0.00 9.54 0.00 1.29 5.25

time (sec)

N/A 0.186 0.282 0.062 0.000 0.765 0.000 3.154 2.554

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 31 30 30 34 32 26

N.S.

1 1.00 1.00 0.78 0.75 0.75 0.85 0.80 0.65

time (sec)

N/A 0.016 0.004 0.017 0.316 0.387 0.048 2.842 0.046

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 26 25 25 27 27 21

N.S.

1 1.00 1.00 0.79 0.76 0.76 0.82 0.82 0.64

time (sec)

N/A 0.015 0.003 0.018 0.306 0.361 0.044 4.191 1.310

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 21 20 20 20 22 16

N.S.

1 1.00 1.00 0.81 0.77 0.77 0.77 0.85 0.62

time (sec)

N/A 0.010 0.004 0.016 0.298 0.364 0.039 4.821 0.077

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 17 19 13

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.81 0.90 0.62

time (sec)

N/A 0.007 0.002 0.013 0.306 0.342 0.033 4.165 0.066

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 18 17 17 15 19 8

N.S.

1 1.00 0.91 0.78 0.74 0.74 0.65 0.83 0.35

time (sec)

N/A 0.010 0.002 0.031 0.292 0.355 0.031 3.772 1.373

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 22 21 21 24 24 17

N.S.

1 1.00 1.00 0.81 0.78 0.78 0.89 0.89 0.63

time (sec)

N/A 0.012 0.003 0.017 0.297 0.392 0.049 3.832 1.385

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 27 26 30 31 29 22

N.S.

1 1.00 1.00 0.79 0.76 0.88 0.91 0.85 0.65

time (sec)

N/A 0.022 0.003 0.021 0.299 0.346 0.059 4.211 0.044

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 32 31 39 36 34 26

N.S.

1 1.00 1.00 0.78 0.76 0.95 0.88 0.83 0.63

time (sec)

N/A 0.024 0.004 0.021 0.297 0.334 0.061 3.246 1.312

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 48 37 36 44 41 39 32

N.S.

1 1.00 1.00 0.77 0.75 0.92 0.85 0.81 0.67

time (sec)

N/A 0.030 0.004 0.023 0.299 0.347 0.068 3.147 0.047

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 208 701 0 959 0 0 -1

N.S.

1 1.00 1.02 3.44 0.00 4.70 0.00 0.00 -0.00

time (sec)

N/A 0.158 1.235 0.061 0.000 0.478 0.000 0.000 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 158 334 0 709 0 0 -1

N.S.

1 1.00 1.09 2.30 0.00 4.89 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.543 0.041 0.000 0.422 0.000 0.000 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 131 121 0 590 0 0 100

N.S.

1 1.00 1.25 1.15 0.00 5.62 0.00 0.00 0.95

time (sec)

N/A 0.056 0.178 0.021 0.000 0.396 0.000 0.000 0.126

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 88 88 0 171 0 0 53

N.S.

1 1.00 1.31 1.31 0.00 2.55 0.00 0.00 0.79

time (sec)

N/A 0.028 0.129 0.049 0.000 0.349 0.000 0.000 1.452

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 140 197 0 465 0 237 -1

N.S.

1 1.00 1.05 1.48 0.00 3.50 0.00 1.78 -0.01

time (sec)

N/A 0.068 0.437 0.056 0.000 0.398 0.000 5.561 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 246 376 0 1081 0 507 -1

N.S.

1 1.00 1.12 1.71 0.00 4.91 0.00 2.30 -0.00

time (sec)

N/A 0.134 1.105 0.102 0.000 0.536 0.000 5.422 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 32 40 8 8 0 29 134

N.S.

1 1.00 0.44 0.55 0.11 0.11 0.00 0.40 1.84

time (sec)

N/A 0.024 0.013 0.041 0.298 0.424 0.000 4.385 0.112

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 202 169 0 1059 129 2109 3026

N.S.

1 1.00 1.13 0.94 0.00 5.92 0.72 11.78 16.91

time (sec)

N/A 0.186 0.077 0.036 0.000 0.383 1.375 4.268 2.079

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

631 631 70 59 0 5841 196 0 2280

N.S.

1 1.00 0.11 0.09 0.00 9.26 0.31 0.00 3.61

time (sec)

N/A 0.792 0.025 0.205 0.000 1.671 52.834 0.000 4.540

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

376 376 70 59 0 5310 0 0 2500

N.S.

1 1.00 0.19 0.16 0.00 14.12 0.00 0.00 6.65

time (sec)

N/A 0.441 0.029 0.056 0.000 1.027 0.000 0.000 3.776

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 105 84 0 0 0 0 -1

N.S.

1 1.00 0.99 0.79 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.153 0.017 0.000 0.000 0.000 0.000 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 55 52 54 53 51 49 44

N.S.

1 1.00 1.38 1.30 1.35 1.32 1.28 1.22 1.10

time (sec)

N/A 0.014 0.015 0.056 0.283 0.407 0.094 3.815 0.038

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 50 50 23 0 0 45 -1

N.S.

1 1.00 0.67 0.67 0.31 0.00 0.00 0.60 -0.01

time (sec)

N/A 0.027 0.025 0.056 0.340 0.000 0.000 4.728 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 117 109 114 84 0 140 -1

N.S.

1 1.00 0.85 0.80 0.83 0.61 0.00 1.02 -0.01

time (sec)

N/A 0.054 0.035 0.089 0.296 0.398 0.000 4.659 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 93 87 114 61 0 102 -1

N.S.

1 1.00 0.68 0.64 0.83 0.45 0.00 0.74 -0.01

time (sec)

N/A 0.047 0.025 0.056 0.288 0.329 0.000 5.119 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 67 65 114 32 0 64 -1

N.S.

1 1.00 0.49 0.47 0.83 0.23 0.00 0.47 -0.01

time (sec)

N/A 0.040 0.020 0.051 0.300 0.336 0.000 4.748 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 43 43 114 10 0 26 71

N.S.

1 1.00 0.49 0.49 1.30 0.11 0.00 0.30 0.81

time (sec)

N/A 0.027 0.007 0.089 0.424 0.322 0.000 4.423 1.561

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 65 103 36 33 0 61 -1

N.S.

1 1.00 0.44 0.70 0.24 0.22 0.00 0.41 -0.01

time (sec)

N/A 0.048 0.029 0.059 0.316 0.357 0.000 3.889 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 72 92 55 113 0 64 -1

N.S.

1 1.00 0.55 0.71 0.42 0.87 0.00 0.49 -0.01

time (sec)

N/A 0.051 0.047 0.044 0.409 0.362 0.000 4.075 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 56 54 53 136 0 43 53

N.S.

1 1.00 0.41 0.40 0.39 1.01 0.00 0.32 0.39

time (sec)

N/A 0.052 0.040 0.058 0.284 0.384 0.000 2.598 2.804

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 56 54 53 209 0 43 53

N.S.

1 1.00 0.41 0.39 0.39 1.53 0.00 0.31 0.39

time (sec)

N/A 0.053 0.041 0.051 0.415 0.403 0.000 3.525 3.228

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 56 54 53 275 0 43 53

N.S.

1 1.00 0.41 0.39 0.39 2.01 0.00 0.31 0.39

time (sec)

N/A 0.051 0.040 0.042 0.313 0.388 0.000 4.847 3.654

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 56 54 53 343 0 43 53

N.S.

1 1.00 0.41 0.39 0.39 2.50 0.00 0.31 0.39

time (sec)

N/A 0.053 0.041 0.052 0.267 0.393 0.000 5.214 4.344

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 68 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.067 0.006 0.000 0.000 0.000 0.000 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

468 468 207 0 362 579 0 1564 777

N.S.

1 1.00 0.44 0.00 0.77 1.24 0.00 3.34 1.66

time (sec)

N/A 0.158 0.199 0.005 0.302 0.482 0.000 3.997 3.515

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 143 0 198 297 0 745 390

N.S.

1 1.00 0.45 0.00 0.63 0.94 0.00 2.37 1.24

time (sec)

N/A 0.094 0.161 0.004 0.305 0.445 0.000 4.501 2.166

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 83 0 77 110 0 229 138

N.S.

1 1.00 0.58 0.00 0.54 0.77 0.00 1.61 0.97

time (sec)

N/A 0.046 0.075 0.005 0.280 0.389 0.000 3.009 1.542

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 58 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.063 0.004 0.000 0.000 0.000 0.000 0.000

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 61 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.069 0.004 0.000 0.000 0.000 0.000 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C C F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 162 101 0 0 82 0 0 69

N.S.

1 1.11 0.69 0.00 0.00 0.56 0.00 0.00 0.47

time (sec)

N/A 0.066 0.246 0.007 0.000 0.557 0.000 0.000 1.647

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 93 114 114 147 0 0 -1

N.S.

1 1.00 0.53 0.65 0.65 0.84 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.074 0.076 0.292 2.123 0.000 0.000 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 121 174 119 0 0 105 -1

N.S.

1 1.00 0.45 0.65 0.44 0.00 0.00 0.39 -0.00

time (sec)

N/A 0.099 0.107 0.099 0.309 0.000 0.000 5.404 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 66 68 0 0 0 80 -1

N.S.

1 1.00 0.37 0.38 0.00 0.00 0.00 0.45 -0.01

time (sec)

N/A 0.062 0.034 0.063 0.000 0.000 0.000 4.149 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 125 115 79 0 0 173 -1

N.S.

1 1.00 0.32 0.29 0.20 0.00 0.00 0.44 -0.00

time (sec)

N/A 0.126 0.055 0.072 0.332 0.000 0.000 4.532 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 99 91 57 0 0 128 -1

N.S.

1 1.00 0.34 0.31 0.20 0.00 0.00 0.44 -0.00

time (sec)

N/A 0.093 0.048 0.040 0.338 0.000 0.000 3.150 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 75 69 30 0 0 79 -1

N.S.

1 1.00 0.40 0.37 0.16 0.00 0.00 0.42 -0.01

time (sec)

N/A 0.066 0.032 0.038 0.293 0.000 0.000 3.503 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 49 50 10 0 0 34 39

N.S.

1 1.00 0.56 0.57 0.11 0.00 0.00 0.39 0.44

time (sec)

N/A 0.036 0.014 0.050 0.285 0.000 0.000 3.180 1.426

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 86 78 44 0 0 77 -1

N.S.

1 1.00 0.45 0.41 0.23 0.00 0.00 0.41 -0.01

time (sec)

N/A 0.081 0.030 0.038 0.281 0.000 0.000 3.477 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

300 300 126 141 97 0 0 127 -1

N.S.

1 1.00 0.42 0.47 0.32 0.00 0.00 0.42 -0.00

time (sec)

N/A 0.129 0.080 0.042 0.303 0.000 0.000 4.274 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 152 199 139 0 0 147 -1

N.S.

1 1.00 0.37 0.49 0.34 0.00 0.00 0.36 -0.00

time (sec)

N/A 0.175 0.080 0.043 0.292 0.000 0.000 4.702 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 98 94 57 0 0 126 -1

N.S.

1 1.00 0.34 0.33 0.20 0.00 0.00 0.44 -0.00

time (sec)

N/A 0.094 0.045 0.069 0.286 0.000 0.000 5.208 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 101 91 52 0 0 125 -1

N.S.

1 1.00 0.35 0.31 0.18 0.00 0.00 0.43 -0.00

time (sec)

N/A 0.091 0.046 0.065 0.287 0.000 0.000 6.526 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 98 152 99 302 0 84 -1

N.S.

1 1.00 0.44 0.68 0.45 1.36 0.00 0.38 -0.00

time (sec)

N/A 0.084 0.073 0.054 0.285 0.448 0.000 6.019 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-1) F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 124 116 79 0 0 172 -1

N.S.

1 1.00 0.32 0.30 0.20 0.00 0.00 0.44 -0.00

time (sec)

N/A 0.118 0.051 0.073 0.296 0.000 0.000 4.486 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 38 47 45 38 42 0 -1

N.S.

1 1.00 0.83 1.02 0.98 0.83 0.91 0.00 -0.02

time (sec)

N/A 0.027 0.033 0.225 0.281 0.446 7.247 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 27 31 32 24 26 0 -1

N.S.

1 1.00 0.96 1.11 1.14 0.86 0.93 0.00 -0.04

time (sec)

N/A 0.018 0.027 0.217 0.284 0.454 6.819 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 18 18 19 15 73 0 -1

N.S.

1 1.00 1.20 1.20 1.27 1.00 4.87 0.00 -0.07

time (sec)

N/A 0.008 0.019 0.201 0.282 0.423 3.019 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 25 26 27 22 42 25 20

N.S.

1 1.00 1.09 1.13 1.17 0.96 1.83 1.09 0.87

time (sec)

N/A 0.013 0.027 0.199 0.280 0.374 2.759 5.829 1.369

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 48 58 58 59 0 0 -1

N.S.

1 1.00 0.84 1.02 1.02 1.04 0.00 0.00 -0.02

time (sec)

N/A 0.028 0.061 0.196 0.295 0.409 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 63 75 71 72 73 0 -1

N.S.

1 1.00 0.83 0.99 0.93 0.95 0.96 0.00 -0.01

time (sec)

N/A 0.031 0.072 0.202 0.293 0.370 21.499 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 76 90 84 85 88 0 -1

N.S.

1 1.00 0.82 0.97 0.90 0.91 0.95 0.00 -0.01

time (sec)

N/A 0.037 0.088 0.205 0.277 0.378 40.507 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 34 54 0 272 0 203 -1

N.S.

1 1.00 0.14 0.23 0.00 1.15 0.00 0.86 -0.00

time (sec)

N/A 0.147 0.030 0.253 0.000 0.397 0.000 5.042 0.000

[next] [prev] [prev-tail] [front] [up]